predicate aenter : x.equals("a") ;
predicate benter : x.equals("b") ;
formula : ~ ((aenter + benter)* aenter benter (aenter + benter)*);
Violation Handler:
System.out.println("Fomula Violated!");
